- Home ›
- Results of search for 'kw,wrdl: programação' with limit(s): 'mc-itype,phr:MO su-to:Lógica matemática su-to:Lógica simbólica'
Refine your search
- Availability
-
Authors
- FLACH, Peter (1)
- GABBAY, Dov M. (1)
- HOGGER, C. J. (1)
- ROBINSON, J. A. (1)
- SIEKMANN, J. (1)
-
Locations
-
Series
-
Topics
- Inteligência artificial (2)
- Lógica matemática [x]
- Lógica simbólica [x]
- Prolog (1)
- Raciocínio (1)
- Show more